Semanticos

dbpedia > alonzo church

formatos disponibles
Sortieren nach

Lisp

Wikipedia Article

Lisp

Lisp ist eine Familie von Programmiersprachen, die 1958 erstmals spezifiziert wurde und am Massachusetts Institute of Technology (MIT) in Anlehnung an den Lambda-Kalkül entstand. Es ist nach Fortran d ...

Wikipedia Article

Entscheidungsproblem

El Entscheidungsproblem (en castellano: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del cálculo de primer orden es un teorema. ...

Möchten Sie auf weitere Bildungsinhalte zugreifen?

Einloggen Tritt einer Klasse bei
x

Add to Didactalia Arrastra el botón a la barra de marcadores del navegador y comparte tus contenidos preferidos. Más info...

Spielhilfe
Juegos de anatomía
Selecciona nivel educativo